A Method for Testing Model to Text Transformations

نویسندگان

  • Alessandro Tiso
  • Gianna Reggio
  • Maurizio Leotta
چکیده

Model Transformations are the core of Model Driven Development; hence for generating high quality artifacts we need methods able to assure the quality of model transformations. In this work, we focus on Model to Text Transformations and propose a method, composed by a set of integrated approaches and a series of guidelines, for testing model transformations. We classify the test approaches composing our method relying on the intent on which they are carried out. Moreover, to select input models used to build test cases, we propose a definition of adequacy criteria and coverage.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

TractsTool: Testing Model Transformations based on Contracts

Model transformations play an important role in Model-Driven Engineering (MDE), and as their size and complexity grow, there is an increasing need to count on tool support for testing their correctness. In this work, we present TractsTool, a tool for specifying and testing several different kinds of model transformations, e.g., model-to-model, model-to-text, and text-to-model transformations, b...

متن کامل

Testing M2T Transformations - A Systematic Literature Review

Context: Model-Driven Development (MDD) is about to become a reality in the development of enterprise information systems due to its benefits, such as reduction of development and maintenance costs, and support for controlled evolution. Consequently, testing model transformations, considering their high complexity particularly regarding Model-to-Text (M2T) transformations, plays a key role to i...

متن کامل

Testing M2T/T2M Transformations

Testing model-to-model (M2M) transformations is becoming a prominent topic in the current Model-driven Engineering landscape. Current approaches for transformation testing, however, assume having explicit model representations for the input domain and for the output domain of the transformation. This excludes other important transformation kinds, such as model-to-text (M2T) and text-to-model (T...

متن کامل

Testing M2M/M2T/T2M Transformations

As Model-Driven Engineering is becoming adopted by industry, models and model transformations (MTs) are extensively used. Hence, there is the urgent need for systematic testing mechanisms and tools to check their correctness. In this work, we make use of a particular case of contracts for model transformations called Tracts. First, Tracts allow the transformation developer to specify and test a...

متن کامل

An Efficient Method to Solve the Mathematical Model of HIV Infection for CD8+ T-Cells

In this paper, the mathematical model of HIV infection for CD8+ T-cells is illustrated. The homotopy analysis method and the Laplace transformations are combined for solving this model. Also, the convergence theorem is proved to demonstrate the abilities of presented method for solving non-linear mathematical models. The numerical results for $N=5, 10$ are presented. Several $hbar$-c...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013